package com.quintus.opensource.kitt.core;

public interface IReturnExpr extends ITTCNElement {
	String getExpr();
}
